科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:最小知识的多模态非单调逻辑
R. ROSATI;
机译:最少知识的多模态非单调逻辑
机译:知识和线性时间LTK的多模式逻辑的公理化
机译:子句逻辑和非单调逻辑编程中的归纳等价
机译:非单调模态逻辑的最小模型语义
机译:基于非单调的逻辑和规则的法律推理
机译:评估公共卫生报告逻辑的知识资源:对知识创作和管理的影响
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行
机译:基于知识的可编程逻辑控制器,具有灵活的现场知识管理和分析功能
机译:具有灵活的现场知识管理和分析功能的基于知识的可编程逻辑控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。